Correctness by Construction: A Manifesto for High-Integrity Software
نویسنده
چکیده
High-integrity software systems are often so large that conventional development processes cannot get anywhere near achieving tolerable defect rates. This article presents an approach that has delivered software with very low defect rates cost-effectively. We describe the technical details of the approach and the results achieved, and discuss how to overcome barriers to adopting such best practice approaches. We conclude by observing that where such approaches are compatible and can be deployed in combination, we have the opportunity to realize the extremely low defect rates needed for high integrity software composed of many million lines of code.
منابع مشابه
Correctness by Construction: A Manifesto for High Integrity Software
High integrity software systems are often so large that conventional development processes cannot get anywhere near achieving tolerable defect rates. This paper presents Correctness by Construction (CbyC)—an approach that has delivered very low defect rate software costeffectively. We describe the main principles of CbyC and the results achieved to date. We also touch on some of the barriers th...
متن کاملCorrectness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business applications. Unfortunately, model-driven approaches as they presently stand focus more on attaining greater extents of automation than on warranting absolute end-to-end correctness for the target development process....
متن کاملProcess-centered Software Engineering Environments as the Next Generation of CASE Tools
Software engineering focuses on one single goal, namely to produce high-quality software [Pressman92]. In the literature numerous quality factors for software are identified. Examples are correctness, reliability, efficiency, integrity, usability, maintainability, flexibility, portability, reusability, interoperability [Pressman92]. While it is easy for us to develop an intuitive understanding ...
متن کاملAutomated Monitoring of Component Integrity in Distributed Object Systems
The marriage of object-oriented component programming languages such as C++ and Java with distributed object infrastructures such as CORBA has made the dream of component-based software development and assembly a reality. Yet while distributed object computing may ease the design and construction of software systems, it also introduces significant challenges in ensuring the integrity of compone...
متن کاملExperiences in the Industrial use of Formal Methods
Altran Praxis has used formal methods within its high integrity development approach, Correctness by Construction (CbyC), for a number of years. The Tokeneer ID Station (TIS) developed for the US National Security Agency (NSA) is one example of a development using formal methods and the CbyC approach. This project used a number of rigorous techniques including formalisation of the specification...
متن کامل